Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
81	MASTER OF TECHNOLOGY (M. TECH.) IN COMPUTER SCIENCE 1 SCOPE The Master of Technology in Computer Science course is offered in Kolkata. The course is designed to provide a balanced mixture of theoretical and professional Add to Reading List Source URL: www.isical.ac.in Language: English - Date: 2012-07-17 06:35:27 Data structure Programming language Ada Search engine indexing The Art of Computer Programming Finite-state machine Actor model Addison-Wesley Queue Computing Software engineering Information science
82	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
83	Complementing Ada with Other Programming Languages Samuel Tardieu Alexis Polti Institut Télécom/Télécom ParisTech Add to Reading List Source URL: www.rfc1149.net Language: English - Date: 2009-10-30 05:22:01 Field-programmable gate array Hardware description language AdaCore Embedded system Robot Ada Verilog CompactRIO Computing Electronic engineering Software engineering
84	CORBA & DSA: Divorce or Marriage? Laurent PAUTET, Thomas Q UINOT, and Samuel TARDIEU {pautet,quinot,tardieu}@enst.fr ENST Paris, France Add to Reading List Source URL: www.rfc1149.net Language: English - Date: 2001-07-16 15:31:11 CORBA Inter-process communication Object-oriented programming Middleware Remote procedure call Common Object Request Broker Architecture Object request broker Interface description language Ada Computing Software engineering Computer programming
85	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-09-21 04:00:23 Ada programming language Procedural programming languages Cross-platform software Ada SPARK C++ Control flow LIS Programming paradigm Computing Software engineering Computer programming
86	High Performance Fortran Language Specication High Performance Fortran Forum January 31, 1997 Version 2.0 Add to Reading List Source URL: hpff.rice.edu Language: English - Date: 2008-07-09 13:18:45 Procedural programming languages High Performance Fortran Array programming languages Fortran The Portland Group C Sharp Pointer Ada ALGOL 68 Computing Computer programming Software engineering
87	Steve Zdancewic Research Statement September 4, 2007 Security-Oriented Languages The proliferation of network-enabled devices and the success of Internet applications has made it easier to access Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-05-13 09:16:55 Programming language International Conference on Functional Programming Ada Control flow ABLE Computer science ALGOL 68 Information flow Aspect-oriented programming Computing Software engineering Programming language theory
88	A Bibliography of Books and Other Publications about the Ada Programming Language and Its History Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB Add to Reading List Source URL: ftp.math.utah.edu Language: English - Date: 2015-04-27 09:58:59 Ada programming language Ada Charles Babbage APSE MIL-STD-1750A Babbage Lovelace Computing Software engineering Computer programming
89	Microsoft Word - Eurofighter_final_050905.doc Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Software engineering AdaCore Eurofighter Typhoon GNAT Ada BAE Systems A Sharp Panavia Tornado BAE Hawk Ada programming language Computing Aircraft
90	Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-01-25 11:25:30 Programming language implementation Models of computation Compiler construction Cross-platform software Procedural programming languages Kahn process networks Compiler Ada Denotational semantics Computing Software engineering Software

UPDATE